Optimal. Leaf size=75 \[ \frac {\cosh ^3(c+d x)}{3 d (a+b)}-\frac {a \cosh (c+d x)}{d (a+b)^2}+\frac {a \sqrt {b} \tanh ^{-1}\left (\frac {\sqrt {b} \text {sech}(c+d x)}{\sqrt {a+b}}\right )}{d (a+b)^{5/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.13, antiderivative size = 75, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 4, integrand size = 23, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.174, Rules used = {3664, 453, 325, 208} \[ \frac {\cosh ^3(c+d x)}{3 d (a+b)}-\frac {a \cosh (c+d x)}{d (a+b)^2}+\frac {a \sqrt {b} \tanh ^{-1}\left (\frac {\sqrt {b} \text {sech}(c+d x)}{\sqrt {a+b}}\right )}{d (a+b)^{5/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 208
Rule 325
Rule 453
Rule 3664
Rubi steps
\begin {align*} \int \frac {\sinh ^3(c+d x)}{a+b \tanh ^2(c+d x)} \, dx &=\frac {\operatorname {Subst}\left (\int \frac {-1+x^2}{x^4 \left (a+b-b x^2\right )} \, dx,x,\text {sech}(c+d x)\right )}{d}\\ &=\frac {\cosh ^3(c+d x)}{3 (a+b) d}+\frac {a \operatorname {Subst}\left (\int \frac {1}{x^2 \left (a+b-b x^2\right )} \, dx,x,\text {sech}(c+d x)\right )}{(a+b) d}\\ &=-\frac {a \cosh (c+d x)}{(a+b)^2 d}+\frac {\cosh ^3(c+d x)}{3 (a+b) d}+\frac {(a b) \operatorname {Subst}\left (\int \frac {1}{a+b-b x^2} \, dx,x,\text {sech}(c+d x)\right )}{(a+b)^2 d}\\ &=\frac {a \sqrt {b} \tanh ^{-1}\left (\frac {\sqrt {b} \text {sech}(c+d x)}{\sqrt {a+b}}\right )}{(a+b)^{5/2} d}-\frac {a \cosh (c+d x)}{(a+b)^2 d}+\frac {\cosh ^3(c+d x)}{3 (a+b) d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.58, size = 135, normalized size = 1.80 \[ \frac {(a+b)^{3/2} \cosh (3 (c+d x))-3 (3 a-b) \sqrt {a+b} \cosh (c+d x)+12 i a \sqrt {b} \left (\tan ^{-1}\left (\frac {-\sqrt {a} \tanh \left (\frac {1}{2} (c+d x)\right )-i \sqrt {a+b}}{\sqrt {b}}\right )+\tan ^{-1}\left (\frac {\sqrt {a} \tanh \left (\frac {1}{2} (c+d x)\right )-i \sqrt {a+b}}{\sqrt {b}}\right )\right )}{12 d (a+b)^{5/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.65, size = 1367, normalized size = 18.23 \[ \text {result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.49, size = 810, normalized size = 10.80 \[ -\frac {\frac {24 \, \sqrt {a^{2} - b^{2} + 2 \, \sqrt {-a b} {\left (a + b\right )}} {\left (a b - \sqrt {-a b} a\right )} {\left | a e^{\left (2 \, c\right )} + b e^{\left (2 \, c\right )} \right |} \arctan \left (\frac {e^{\left (d x\right )}}{\sqrt {\frac {a^{3} e^{\left (2 \, c\right )} + a^{2} b e^{\left (2 \, c\right )} - a b^{2} e^{\left (2 \, c\right )} - b^{3} e^{\left (2 \, c\right )} + \sqrt {{\left (a^{3} e^{\left (2 \, c\right )} + a^{2} b e^{\left (2 \, c\right )} - a b^{2} e^{\left (2 \, c\right )} - b^{3} e^{\left (2 \, c\right )}\right )}^{2} - {\left (a^{3} e^{\left (4 \, c\right )} + 3 \, a^{2} b e^{\left (4 \, c\right )} + 3 \, a b^{2} e^{\left (4 \, c\right )} + b^{3} e^{\left (4 \, c\right )}\right )} {\left (a^{3} + 3 \, a^{2} b + 3 \, a b^{2} + b^{3}\right )}}}{a^{3} e^{\left (4 \, c\right )} + 3 \, a^{2} b e^{\left (4 \, c\right )} + 3 \, a b^{2} e^{\left (4 \, c\right )} + b^{3} e^{\left (4 \, c\right )}}}}\right ) e^{\left (-2 \, c\right )}}{a^{5} + 3 \, a^{4} b + 2 \, a^{3} b^{2} - 2 \, a^{2} b^{3} - 3 \, a b^{4} - b^{5} + 2 \, {\left (a^{4} + 4 \, a^{3} b + 6 \, a^{2} b^{2} + 4 \, a b^{3} + b^{4}\right )} \sqrt {-a b}} + \frac {24 \, {\left (3 \, a^{2} b - a b^{2} + {\left (a^{2} - 3 \, a b\right )} \sqrt {-a b}\right )} {\left | a e^{\left (2 \, c\right )} + b e^{\left (2 \, c\right )} \right |} \arctan \left (\frac {e^{\left (d x\right )}}{\sqrt {\frac {a^{3} e^{\left (2 \, c\right )} + a^{2} b e^{\left (2 \, c\right )} - a b^{2} e^{\left (2 \, c\right )} - b^{3} e^{\left (2 \, c\right )} - \sqrt {{\left (a^{3} e^{\left (2 \, c\right )} + a^{2} b e^{\left (2 \, c\right )} - a b^{2} e^{\left (2 \, c\right )} - b^{3} e^{\left (2 \, c\right )}\right )}^{2} - {\left (a^{3} e^{\left (4 \, c\right )} + 3 \, a^{2} b e^{\left (4 \, c\right )} + 3 \, a b^{2} e^{\left (4 \, c\right )} + b^{3} e^{\left (4 \, c\right )}\right )} {\left (a^{3} + 3 \, a^{2} b + 3 \, a b^{2} + b^{3}\right )}}}{a^{3} e^{\left (4 \, c\right )} + 3 \, a^{2} b e^{\left (4 \, c\right )} + 3 \, a b^{2} e^{\left (4 \, c\right )} + b^{3} e^{\left (4 \, c\right )}}}}\right ) e^{\left (-2 \, c\right )}}{{\left (a^{4} + 2 \, a^{3} b - 2 \, a b^{3} - b^{4} - 2 \, {\left (a^{3} + 3 \, a^{2} b + 3 \, a b^{2} + b^{3}\right )} \sqrt {-a b}\right )} \sqrt {a^{2} - b^{2} - 2 \, \sqrt {-a b} {\left (a + b\right )}}} + \frac {{\left (9 \, a e^{\left (2 \, d x + 2 \, c\right )} - 3 \, b e^{\left (2 \, d x + 2 \, c\right )} - a - b\right )} e^{\left (-3 \, d x\right )}}{a^{2} e^{\left (3 \, c\right )} + 2 \, a b e^{\left (3 \, c\right )} + b^{2} e^{\left (3 \, c\right )}} - \frac {a^{2} e^{\left (3 \, d x + 24 \, c\right )} + 2 \, a b e^{\left (3 \, d x + 24 \, c\right )} + b^{2} e^{\left (3 \, d x + 24 \, c\right )} - 9 \, a^{2} e^{\left (d x + 22 \, c\right )} - 6 \, a b e^{\left (d x + 22 \, c\right )} + 3 \, b^{2} e^{\left (d x + 22 \, c\right )}}{a^{3} e^{\left (21 \, c\right )} + 3 \, a^{2} b e^{\left (21 \, c\right )} + 3 \, a b^{2} e^{\left (21 \, c\right )} + b^{3} e^{\left (21 \, c\right )}}}{24 \, d} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.30, size = 202, normalized size = 2.69 \[ \frac {-\frac {16}{3 \left (\tanh \left (\frac {d x}{2}+\frac {c}{2}\right )-1\right )^{3} \left (16 a +16 b \right )}-\frac {8}{\left (16 a +16 b \right ) \left (\tanh \left (\frac {d x}{2}+\frac {c}{2}\right )-1\right )^{2}}-\frac {-a +b}{2 \left (a +b \right )^{2} \left (\tanh \left (\frac {d x}{2}+\frac {c}{2}\right )-1\right )}-\frac {8}{\left (16 a +16 b \right ) \left (\tanh \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{2}}+\frac {16}{3 \left (\tanh \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{3} \left (16 a +16 b \right )}-\frac {a -b}{2 \left (a +b \right )^{2} \left (\tanh \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )}+\frac {a b \arctanh \left (\frac {2 \left (\tanh ^{2}\left (\frac {d x}{2}+\frac {c}{2}\right )\right ) a +2 a +4 b}{4 \sqrt {a b +b^{2}}}\right )}{\left (a +b \right )^{2} \sqrt {a b +b^{2}}}}{d} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ \frac {{\left ({\left (a e^{\left (6 \, c\right )} + b e^{\left (6 \, c\right )}\right )} e^{\left (6 \, d x\right )} - 3 \, {\left (3 \, a e^{\left (4 \, c\right )} - b e^{\left (4 \, c\right )}\right )} e^{\left (4 \, d x\right )} - 3 \, {\left (3 \, a e^{\left (2 \, c\right )} - b e^{\left (2 \, c\right )}\right )} e^{\left (2 \, d x\right )} + a + b\right )} e^{\left (-3 \, d x\right )}}{24 \, {\left (a^{2} d e^{\left (3 \, c\right )} + 2 \, a b d e^{\left (3 \, c\right )} + b^{2} d e^{\left (3 \, c\right )}\right )}} - \frac {1}{8} \, \int \frac {16 \, {\left (a b e^{\left (3 \, d x + 3 \, c\right )} - a b e^{\left (d x + c\right )}\right )}}{a^{3} + 3 \, a^{2} b + 3 \, a b^{2} + b^{3} + {\left (a^{3} e^{\left (4 \, c\right )} + 3 \, a^{2} b e^{\left (4 \, c\right )} + 3 \, a b^{2} e^{\left (4 \, c\right )} + b^{3} e^{\left (4 \, c\right )}\right )} e^{\left (4 \, d x\right )} + 2 \, {\left (a^{3} e^{\left (2 \, c\right )} + a^{2} b e^{\left (2 \, c\right )} - a b^{2} e^{\left (2 \, c\right )} - b^{3} e^{\left (2 \, c\right )}\right )} e^{\left (2 \, d x\right )}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 2.65, size = 955, normalized size = 12.73 \[ \frac {{\mathrm {e}}^{-3\,c-3\,d\,x}}{24\,d\,\left (a+b\right )}+\frac {{\mathrm {e}}^{3\,c+3\,d\,x}}{24\,d\,\left (a+b\right )}-\frac {\sqrt {a^2\,b}\,\left (2\,\mathrm {atan}\left (\frac {\left ({\mathrm {e}}^{d\,x}\,{\mathrm {e}}^c\,\left (\frac {4\,\left (2\,a^2\,b^3\,d\,\sqrt {a^2\,b}+4\,a^3\,b^2\,d\,\sqrt {a^2\,b}+2\,a^4\,b\,d\,\sqrt {a^2\,b}\right )}{a\,\left (a+b\right )\,\sqrt {-d^2\,{\left (a+b\right )}^5}\,\left (a^2+2\,a\,b+b^2\right )\,\left (a^3+3\,a^2\,b+3\,a\,b^2+b^3\right )\,\sqrt {-a^5\,d^2-5\,a^4\,b\,d^2-10\,a^3\,b^2\,d^2-10\,a^2\,b^3\,d^2-5\,a\,b^4\,d^2-b^5\,d^2}}+\frac {2\,a^3\,b}{d\,{\left (a+b\right )}^3\,\sqrt {a^2\,b}\,\left (a^2+2\,a\,b+b^2\right )\,\left (a^3+3\,a^2\,b+3\,a\,b^2+b^3\right )}\right )+\frac {2\,a^3\,b\,{\mathrm {e}}^{3\,c}\,{\mathrm {e}}^{3\,d\,x}}{d\,{\left (a+b\right )}^3\,\sqrt {a^2\,b}\,\left (a^2+2\,a\,b+b^2\right )\,\left (a^3+3\,a^2\,b+3\,a\,b^2+b^3\right )}\right )\,\left (a^6\,\sqrt {-a^5\,d^2-5\,a^4\,b\,d^2-10\,a^3\,b^2\,d^2-10\,a^2\,b^3\,d^2-5\,a\,b^4\,d^2-b^5\,d^2}+b^6\,\sqrt {-a^5\,d^2-5\,a^4\,b\,d^2-10\,a^3\,b^2\,d^2-10\,a^2\,b^3\,d^2-5\,a\,b^4\,d^2-b^5\,d^2}+15\,a^2\,b^4\,\sqrt {-a^5\,d^2-5\,a^4\,b\,d^2-10\,a^3\,b^2\,d^2-10\,a^2\,b^3\,d^2-5\,a\,b^4\,d^2-b^5\,d^2}+20\,a^3\,b^3\,\sqrt {-a^5\,d^2-5\,a^4\,b\,d^2-10\,a^3\,b^2\,d^2-10\,a^2\,b^3\,d^2-5\,a\,b^4\,d^2-b^5\,d^2}+15\,a^4\,b^2\,\sqrt {-a^5\,d^2-5\,a^4\,b\,d^2-10\,a^3\,b^2\,d^2-10\,a^2\,b^3\,d^2-5\,a\,b^4\,d^2-b^5\,d^2}+6\,a\,b^5\,\sqrt {-a^5\,d^2-5\,a^4\,b\,d^2-10\,a^3\,b^2\,d^2-10\,a^2\,b^3\,d^2-5\,a\,b^4\,d^2-b^5\,d^2}+6\,a^5\,b\,\sqrt {-a^5\,d^2-5\,a^4\,b\,d^2-10\,a^3\,b^2\,d^2-10\,a^2\,b^3\,d^2-5\,a\,b^4\,d^2-b^5\,d^2}\right )}{4\,a^2\,b}\right )-2\,\mathrm {atan}\left (\frac {a\,{\mathrm {e}}^{d\,x}\,{\mathrm {e}}^c\,\sqrt {-d^2\,{\left (a+b\right )}^5}}{2\,d\,{\left (a+b\right )}^2\,\sqrt {a^2\,b}}\right )\right )}{2\,\sqrt {-a^5\,d^2-5\,a^4\,b\,d^2-10\,a^3\,b^2\,d^2-10\,a^2\,b^3\,d^2-5\,a\,b^4\,d^2-b^5\,d^2}}-\frac {{\mathrm {e}}^{-c-d\,x}\,\left (3\,a-b\right )}{8\,d\,{\left (a+b\right )}^2}-\frac {{\mathrm {e}}^{c+d\,x}\,\left (3\,a-b\right )}{8\,d\,{\left (a+b\right )}^2} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\sinh ^{3}{\left (c + d x \right )}}{a + b \tanh ^{2}{\left (c + d x \right )}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________